//
//  OCamlObject.h
//  ltlbmc
//
//  Created by GD Huang on 9/12/12.
//
//

#ifndef ltlbmc_OCamlObject_h
#define ltlbmc_OCamlObject_h


extern "C" {
#include <caml/mlvalues.h>
}

namespace cilast {

    class OCamlObject {
    public:
        value sink;

    };

}

#endif
